Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
101	Horizontal composability revisited? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-03-25 10:02:21 Model theory Procedural programming languages Institution Theoretical computer science Sigma-algebra Permutation Specification Standard ML ALGOL 68 Computing Mathematics Software engineering
102	A modern eye on ML type inference – Old techniques and recent developments – Franc¸ois Pottier INRIA September 2005 Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2007-01-26 09:13:38 Computing Type inference Type system Lambda calculus Constraint programming Hindley–Milner Generalized algebraic data type Constraint satisfaction Standard ML Software engineering Programming language theory Type theory
103	3.01 nearest graduated unit. Calculate the bulk density in g per mL by the formula m/V0. Generally, replicate determinations are desirable for the determination of this property. If the powder density is too low or too Add to Reading List Source URL: moldb.nihs.go.jp Language: English - Date: 2014-02-12 21:13:07 Analytical chemistry Medicine Endotoxin Toxins Serial dilution Standard solution Bulk density Pipette Depyrogenation Chemistry Science Laboratory techniques
104	The Definition of Standard ML The Definition of Standard ML Robin Milner, Mads Tofte, and Robert Harper Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-07-23 09:36:22 Functional languages Procedural programming languages Robin Milner Robert Harper ML Mads Tofte Milner Cataloging Unit of alcohol Software engineering Programming language theory Computing
105	Programming in Standard ML (W ORKING D RAFT OF J UNE 28, Robert Harper Carnegie Mellon University Spring Semester, 2001 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2001-09-28 05:05:04 Procedural programming languages Functional languages Standard ML ML C Reference Software engineering Computing Programming language theory
106	ZU064-05-FPR rhiger-submitted 18 August 2008 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-10-17 11:56:59 Lambda calculus Type theory Data types Functional programming Logic in computer science Pattern matching Standard ML Combinatory logic Fixed-point combinator Software engineering Theoretical computer science Computing
107	OCaml Standard Library Standard Modules Basic Data Types Pervasives String Array Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2015-04-13 10:41:52 Functional languages Caml ML Fold Main function Software engineering Computing Computer programming
108	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
109	Functional Programming and Specification Practical 2 This is an assessed practical exercise, to be completed by 4pm on Friday 4th March. It will be marked but the mark will not contribute to the overall mark for the cour Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-02-07 14:23:09 Functional languages Procedural programming languages Programming language Interpreter Standard ML Parsing Moscow ML ML Software engineering Computing Computer programming
110	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics